Program synthesis - PDFSEARCH.IO - Document Search Engine

Program synthesis
Results: 338

#	Item
331	Using Program Synthesis for Social Recommendations Alvin Cheung Armando Solar-Lezama Samuel Madden Add to Reading List Source URL: db.csail.mit.edu Language: English - Date: 2013-04-03 13:57:16 Learning Statistical classification Support vector machine Active learning Ensemble learning Recommender system E-learning Statistics Education Machine learning
332	The State of Marine and Coastal Adaptation in North America: A Synthesis of Emerging Ideas Final Report January 2011 Cover photo: National Aeronautics and Space Administration (NASA) Add to Reading List Source URL: ecoadapt.org Language: English - Date: 2012-03-19 17:52:25 Global warming Climate change in Australia Social vulnerability Environmental social science Climate Change Science Program Economics of global warming Climate change Environment Adaptation to global warming
333	Department of Veterans Affairs Health Services Research & Development Service Evidence-based Synthesis Program Evidence Map of Acupuncture Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Systematic review Clinical research Medical informatics Alternative medicine Acupuncture Randomized controlled trial Cochrane Collaboration Traditional Chinese medicine Moxibustion Medicine Health Science
334	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
335	Title: Synthesis and Assessment Product 4.2: Thresholds of Climate Change on Ecosystems Subject and Purpose: The U.S. Climate Change Science Program (CCSP), a consortium of Federal agencies performing climate science, ha Add to Reading List Source URL: www.usgs.gov Language: English - Date: 2008-09-30 11:14:07 Academia United States Geological Survey Peer review Ecosystem Climate Change Science Program Science Knowledge
336	Title: Synthesis and Assessment Product 3 Add to Reading List Source URL: www.usgs.gov Language: English - Date: 2007-10-10 13:22:42 Knowledge Academic literature Scientific method Academia Peer review United States Geological Survey Abrupt climate change Review SAP AG Climate Change Science Program Science Academic publishing
337	Applications of inductive definitions and choice principles to program synthesis Ulrich Berger and Monika Seisenberger {u.berger,csmona}@swansea.ac.uk University of Wales Swansea Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-27 17:59:13 Structural induction Mathematical proof Mathematical induction Well-quasi-ordering Axiom of choice Recursion Intuitionistic type theory Well-founded relation Bar induction Mathematics Mathematical logic Logic
338	In 2007, the FLNR scientiˇc program on heavy-ion physics included experiments on the synthesis of heavy and exotic nuclei using ion beams of stable and radioactive isotopes and studies of nuclear reaction mechanisms, acceleration technology, heavy-ion interaction Add to Reading List Source URL: www1.jinr.ru Language: English - Date: 2008-06-04 08:42:36 Chemical elements Synthetic elements Transition metals Nuclear physics Nuclear chemistry Ununquadium Darmstadtium Nuclear fusion Unbinilium Physics Matter Chemistry